/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#5=SUP/FONT#3=STA200/FONT#4=NGB25
␈↓ ↓H␈↓␈↓βS␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305
␈↓ ↓H␈↓∧Telephone 415 497-4430␈↓ 	oOctober 31, 1975




␈↓ ↓H␈↓Professor Joel Moses
␈↓ ↓H␈↓Project MAC
␈↓ ↓H␈↓Massachusetts Institute of Technology
␈↓ ↓H␈↓545 Technology Square
␈↓ ↓H␈↓Cambridge, Massachusetts 02138

␈↓ ↓H␈↓Dear Joel:

␈↓ ↓H␈↓Here is the paper with the derivations on which MACSYMA was not helpful.


␈↓ ↓H␈↓Sincerely,



␈↓ ↓H␈↓John McCarthy
␈↓ ↓H␈↓Director
␈↓ ↓H␈↓Professor of Computer Science